Merge pull request #1201 from jeenu-arm/sdei-plat-events
authordavidcunado-arm <[email protected]>
Sun, 24 Dec 2017 10:58:53 +0000 (10:58 +0000)
committerGitHub <[email protected]>
Sun, 24 Dec 2017 10:58:53 +0000 (10:58 +0000)
ARM platforms: Allow platforms to define SDEI events


Trivial merge